domain constraints